Math, Inc.
Dedicated to verified superintelligence via autoformalization
Solve math, solve everything.
Introducing Gauss, an agent for autoformalization
Announcing the Veritas Fellowships
A conversation with Terry Tao, inaugural Veritas Fellow
Contact
|
Careers
|
Gauss on GitHub